loc($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($e$)